221. Degrees of unsolvability
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
رده :
QA
9
.
S518
222. Diagonalization in Formal Mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
223. Diamond :
پدیدآورنده : N.S. Hellerstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.
رده :
QA9
.
H396
2010eb
224. Dictionary of symbols of mathematical logic
پدیدآورنده : Feys, Robert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical notations
رده :
QA
9
.
F49
225. Dictionary of symbols of mathematical logic
پدیدآورنده : Edited by Robert Feys and Frederic B. Fitch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Dictionaries ، Logic, Symbolic and mathematical,Dictionaries ، Mathematical notation
رده :
QA
9
.
D528
226. Dictionary of symbols of mathematical logic
پدیدآورنده : Feys, Robert
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical notation
رده :
QA
9
.
F49
227. Die Gödel'schen Unvollständigkeitssätze :
پدیدآورنده : von Dirk W. Hoffmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical Logic and Foundations.,Mathematics.
228. Die Grundlagen der Mathematik
پدیدآورنده : von David Hilbert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
V663
1928
229. Direct and converse theorems
پدیدآورنده : I. S. Gradshtein ; translated from the Russian by T. Boddington.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Axioms.,Logic, Symbolic and mathematical.,Set theory.
230. Discovering Patterns in Mathematics and Poetry
پدیدآورنده : \ Marcia Birken and Anne C. Coon
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
231. Discovering patterns in mathematics and poetry /
پدیدآورنده : Marcia Birken and Anne C. Coon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics and literature.,Pattern perception.,Poetics.,Word problems (Mathematics),Logic, Symbolic and mathematical.,Mathematics and literature.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Pattern perception.,Poetics.,Word problems (Mathematics)
رده :
PN55
.
B57
2008eb
232. Discrete Mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
رده :
QA9
.
25
.
E57
2006
233. Discrete and decision
پدیدآورنده : / Ian Bloomfield, John Stevens
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Mathematics -- Textbooks,Logic, Symbolic and mathematical
رده :
510
B655d
234. Discrete mathematics
پدیدآورنده : / Douglas E. Ensley, J. Winston Crawley
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
رده :
QA9
.
25
.
E57
2006
235. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
236. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
237. Discrete mathematics :
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
رده :
QA9
.
25
.
E57
2006
238. Discrete mathematics And Graph Theory
پدیدآورنده : Purna .Chandra Bisweal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
510
,
B85
,
2005
239. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics,Computer science,Logic, Symbolic and mathematical,-- Mathematics
رده :
511
R813D
2007
240. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
رده :
511
R813d
E
.
5
